Большая советская энциклопедия - евдокс книдский

Евдокс Книдский (Eudoxos Knidios) (около 408 — около 355 до н. э.), древнегреческий математик и астроном. Ученик Архита Тарентского. Е. К. путешествовал по Греции и Египту, затем поселился на родине в г. Книд; основал школу математиков и астрономов. Е. К. первый дал общую теорию пропорций (изложена в 5-й книге «Начал» Евклида); по свидетельству Архимеда, Е. К. принадлежит прием доказательства методом исчерпывания. В астрономии сделал одну из первых попыток построения теории движения планет. Сочинения Е. К. до нас не дошли. Лит.: Кольман Э., История математики в древности, М., 1961.